unsigned short g_644 = 0xEEFAL;
unsigned int g_186 = 0x21F2E2B9L;
unsigned short g_153 = 0UL;
unsigned int g_1329[3][2] = {{0xA4DE4947L,0xA4DE4947L},{0xA4DE4947L,0xA4DE4947L},{10,0xA4DE4947L}};
__attribute__ ((__noinline__))
void func_9(char  p_10, int  p_11)
{ /* block id: 495 */
    if (!p_11) {
      return;
    }

    for (g_186 = 0; (g_186 >= 1); g_186++)
    { /* block id: 505 */
      p_11 = 0;
    }
    for (g_644 = 0; (g_644 <= 0); g_644 += 1)
    { /* block id: 519 */
      for (g_186 = 0; (g_186 <= 2); g_186 += 1)
      { /* block id: 528 */
        (p_11 && (g_153 = 1));
        --g_1329[2][0];
      }
    }
    // struct S0 l_1414;
    return ;
}

int main() {
  func_9(0, 1);
  printf("%d\n", g_1329[2][0]);
  return 0;
}
